A Survey on π - Calculus
نویسنده
چکیده
Calculus is the mathematical study of change. Process Calculus models the changing behavior of computer processes. Usually a process refers to a running program. λcalculus is a form of process calculus that has been heavily used in the functional programming arena. While, λ-calculus model changes in sequential computer processes, π-calculus formalizes behavior of a concurrent process. In this paper we will study general π-calculus language and variations of π-calculus that are applicable to distributed systems and programming languages.
منابع مشابه
A brief survey of the theory of the π-calculus
This document collects some important results about the theory of Milner’s π-calculus and related formalisms. We present the syntax and semantics of a monadic calculus, and discuss type systems and the most commonly used notions of behavioural equivalences. π-calculus dialects are also briefly introduced, as well as several encodings of the λ-calculus. Nota: These notes have been used for a cou...
متن کاملA Survey of Name-Passing Calculi and Crypto-Primitives
The paper surveys the literature on high-level name-passing process calculi, and their extensions with cryptographic primitives. The survey is by no means exhaustive, for essentially two reasons. First, in trying to provide a coherent presentation of different ideas and techniques, one inevitably ends up leaving out the approaches that do not fit the intended roadmap. Secondly, the literature o...
متن کاملOn Recursion, Replication and Scope Mechanisms in Process Calculi
This paper we shall survey and discuss in detail the the work on the relative expressiveness of Recursion and Replication in various process calculi. Namely, CCS, the π-calculus, the Ambient calculus, Concurrent Constraint Programming and calculi for Cryptographic Protocols. We shall see that often the ability of expressing recursive behaviours via replication depends on the scoping mechanisms ...
متن کاملNotes on Nominal Calculi for Security and Mobility
There is great interest in applying nominal calculi—computational formalisms that include dynamic name generation—to the problems of programming, specifying, and verifying secure and mobile computations. These notes introduce three nominal calculi—the pi calculus, the spi calculus, and the ambient calculus. We describe some typical techniques, and survey related work.
متن کاملTopology, Randomness and Noise in Process Calculus∗
Formal models of communicating and concurrent systems are one of the most important topics in formal methods, and process calculus is one of the most successful formal models of communicating and concurrent systems. In the previous works, the author systematically studied topology in process calculus, probabilistic process calculus and pi-calculus with noisy channels in order to describe approx...
متن کامل